<?php
        echo use_helper('Javascript');	
        echo javascript_tag("Ext.onReady(InformeLibrosPrestados.init, InformeLibrosPrestados);");
?>
<div id="informeLibrosPrestados"></div>